замкнутая формула

См. также в других словарях:

• ЗАМКНУТАЯ ФОРМУЛА — такая формула логич. исчисления, к рая выражает нек рое высказывание; формула, не содержащая свободных переменных вовсе или имеющая только такие их вхождения, к рые нельзя связывать кванторами, не выходя за рамки данного исчисления. Напр., З. ф.… …   Философская энциклопедия

• ЗАМКНУТАЯ ФОРМУЛА — см. Арифметика формальная …   Математическая энциклопедия

• Формула Грина — Теорема Грина устанавливает связь между криволинейным интегралом по замкнутому контуру C и двойным интегралом по области D, ограниченной этим контуром. Фактически, эта теорема является частным случаем более общей теоремы Стокса. Теорема названа в …   Википедия

• Замкнутая времениподобная кривая — Замкнутая временеподобная линия или замкнутая временеподобная кривая (англ. closed timelike curve, CTC) в математической физике  временеподобная кривая на Лоренцевом многообразии, возвращающаяся в исходную пространственно временную… …   Википедия

• РАЗРЕШИМАЯ ФОРМУЛА — (в данной системе) такая формула Аданной формальной системы, что либо она доказуема в этой системе (т. е. является теоремой), либо опровержима (т. е. доказуемо ее отрицание ). Если всякая замкнутая формула данной формальной системы разрешима в… …   Математическая энциклопедия

• ОПРОВЕРЖИМАЯ ФОРМУЛА — формально опровержимая в данной системе формула, замкнутая формула данной системы, отрицание к рой выводимо в этой системе. В. Н. Гришин …   Математическая энциклопедия

• ПУАНКАРЕ - БЕРТРАНА ФОРМУЛА — формула перестановки порядка интегрирования в повторных несобственных интегралах в смысле главного значения по Коши. Пусть Г простая замкнутая или разомкнутая гладкая линия на комплексной плоскости; j(t, t1).определенная на Г (вообще говоря,… …   Математическая энциклопедия

• ГАУССА-ОСТРОГРАДСКОГО ФОРМУЛА — одна из основных интегральных теорем векторного анализа, связывающая объемный интеграл с поверхностным: Здесь замкнутая поверхность, ограничивающая 3 мерную область V, а п проекция вектора на внеш. нормаль к поверхности. Получена Дж. Грином (G.… …   Физическая энциклопедия

• РИМАНА - ГУРВИЦА ФОРМУЛА — ф о р м у л а Г у р в и ц а, с о о т н о ш е н и е Г у р в и ц а, формула, связывающая род замкнутой римановой поверхности с числом ее листов и кратностью точек ветвления. Пусть R замкнутая риманова поверхность рода накрывающая Rриманова… …   Математическая энциклопедия

• Декартово замкнутая категория — В теории категорий декартово замкнутой называется категория, допускающая интернализацию понятия морфизма. Другими словами, каждому морфизму в ней соответствует некоторый объект , представляющий его. Декартово замкнутые категории, находятся, в… …   Википедия

• РЕАЛИЗУЕМОСТЬ — один из видов неклассич. интерпретаций логических и логико математических языков. Различные интерпретации типа Р. определяются по следующей схеме. Для формул логико математич. языка определяется отношение объект реализует замкнутую формулу F , к… …   Математическая энциклопедия